extract (Cons a _) = a